Recording in logic